Distributed Reasoning with EDDLHQ+ SHIQ

To deal with autonomous agents’ knowledge and subjective beliefs in open, heterogeneous and inherently distributed settings, we need special formalisms that combine knowledge from multiple and potentially heterogeneous interconnected contexts. Each context contains a chunk of knowledge defining a logical theory, called ontology unit). While standard logics may be used, subjectiveness and heterogeneity issues have been tackled by knowledge representation formalisms called contextual logics or modular ontology languages (e.g. [1] [2]).Nevertheless, in distributed and open settings we may expect that different ontology units should be combined in many different, subtle ways without making any assumption about the disjointness of the domains covered by different units. To address this issue we need to increase the expressivity of the language used for defining correspondences.Towards this goal, we have been motivated to propose the representation framework E HQ+ SHIQ (or simply E − SHIQ).